Path Constraints in Semistructured Databases PETER BUNEMAN  Department of Computer and Information Science, University of Pennsylvania 200 South 33rd Street, Philadelphia, PA

Source URL: homepages.inf.ed.ac.uk

• Constraint programming
• Data modeling
• Functional dependency
• Theoretical physics
• Classical mechanics
• Loop quantum gravity

Grothendieck Inequalities, Nonlocal Games and Optimization Jop Briët Grothendieck Inequalities,

Source URL: homepages.cwi.nl

• University of Amsterdam
• Mathematical optimization
• Inequalities
• Quantum mechanics
• Institute for Logic
• Language and Computation
• Semidefinite programming
• Grothendieck inequality
• Quantum entanglement

Quantum Speed-ups for Semidefinite Programming Fernando G.S.L. Brandão MSR -> Caltech based on joint work with

Source URL: fernandobrandao.org

• Operations research
• Mathematical optimization
• Theoretical computer science
• Linear programming
• Real algebraic geometry
• Semidefinite programming
• Algorithm
• Quadratically constrained quadratic program

Quantum ESPRESSO Notes on parallel computing Parallel programming paradigms Most modern electronic-structure code use one of the following approaches, or a

Source URL: users.aims.ac.za

Introduction & overview The expectation monad, effect algebras/modules & other monads Algebras of the expectation monad & duality Relevance for quantum foundations & probabilistic programming Conclusions

Source URL: www.cs.ru.nl

Microsoft PowerPoint - Access-Based Localization for Octagons.pptx

Source URL: nsad2012.ucombinator.org

• Constraint programming
• Logic programming
• Loop quantum gravity
• Data modeling
• Mathematical optimization

Using Data Parallelism in Lisp for Implementing a Quantum Simulator Leonardo Uribe, Pascal Costanza, Charlotte Herzeel, Theo D’Hondt Programming Technology Lab Vrije Universiteit Brussel {leonardo.uribe|pascal.costanza

Source URL: www.european-lisp-workshop.org

Simulation of Quantum Computations in Lisp Brecht Desmet, Ellie D’Hondt, Pascal Costanza and Theo D’Hondt Programming Technology Lab – Vrije Universiteit Brussel Pleinlaan 2 – 1050 Brussels, Belgium {bdesmet,eldh

Source URL: www.european-lisp-workshop.org

Semidefinite programming hierarchies for quantum adversaries Mario Berta Institute for Quantum Information and Matter Caltech, Pasadena

Source URL: 2015.qcrypt.net

Introduction & overview The expectation monad, effect algebras/modules & other monads Algebras of the expectation monad & duality Relevance for quantum foundations & probabilistic programming Conclusions

Source URL: www.cs.ru.nl